Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Czech Republic |
|---|---|
| City | Brno |
| Institution | Masaryk University |
| Institute | Institute for Theoretical Computer Science |
Profile
| Research fields | Theoretical Computer Science |
|---|---|
| Keywords | formal methods, game theory in formal verification, probabilistic model-checking, computer science, semantics |